Modelling Concurrent Systems Specified by Dynamic Information Systems
نویسندگان
چکیده
منابع مشابه
Modelling Dynamic Forgetting in Distributed Information Systems
We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickly agents should discount (forget) their experience: If they cherish their memories, they can build their reports on larger data sets; if they discount quickly, they can respond well to change in their environment. Here, we argu...
متن کاملModelling and reasoning about dynamic networks as concurrent systems
We propose a new approach to modelling and reasoning about dynamic networks. Dynamic networks consist of nodes and edges whose operating status may change over time (for example, the edges may be unreliable and operate intermittently). Message-passing in such networks is inherently difficult and reasoning about the behaviour of message-passing algorithms is also difficult. We develop a series o...
متن کاملModelling concurrent systems with Alvis
Alvis is a new modeling language for developing concurrent (embedded) systems. The language is being developed within the confines of the Alvis project at AGH University of Science and Technology, Department of Automatics. The Alvis language combines hierarchical graphical modelling with a high level programming language. Moreover, a formal verification of a model, based on an LTS graph (Labell...
متن کاملstatistical and dynamic modelling of algea in stream systems
algal growth and the water quality effects were studied and modeled in the lower reaches of the colusa basin drain as a stream system. statistical techniques such as the correlation matrix and the stepwise multiple regression are performed on such variables as algal biomass, ammonia, nitrate, orthophosphate, temperature, and the solar radiation intensity in deriving an algae statistical model. ...
متن کاملModelling Complex Patterns by Information Systems
We outline an approach to hierarchical modelling of complex patterns that is based on operations of sums with constraints on information systems. We show that such operations can be treated as a universal tool in hierarchical modelling of complex patterns.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80719-9